['symbolic.pro'].
['printmessages.pro'].
['rules.pro'].

current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].

print('\\section{Primitives used}\n\n~\n\n').

printprims.